منابع مشابه
Functors for Alternative Categories
An attempt to define the concept of a functor covering both cases (covariant and contravariant) resulted in a structure consisting of two fields: the object map and the morphism map, the first one mapping the Cartesian squares of the set of objects rather than the set of objects. We start with an auxiliary notion of bifunction, i.e. a function mapping the Cartesian square of a set A into the Ca...
متن کاملOpposite Categories and Contravariant Functors
The opposite category of a category, contravariant functors and duality functors are defined. Next we state the proposition (1) the objects of C, the morphisms of C, the cod-map of C, the dom-map of C, (the composition of C),the id-map of C is a category. Let us consider C. The functor C op yielding a strict category is defined by the condition (Def. 1). (Def. 1) C op = the objects of C, the mo...
متن کاملIntroduction to Categories and Functors
The category is introduced as an ordered 5-tuple of the form 〈O,M,dom,cod, ·, id〉 where O (objects) and M (morphisms) are arbitrary nonempty sets, dom and cod map M onto O and assign to a morphism domain and codomain, · is a partial binary map from M×M to M (composition of morphisms), id applied to an object yields the identity morphism. We define the basic notions of the category theory such a...
متن کاملAdjoint functors; categories in topology
In this section, we develop the some important categorical definitions and ideas which will be used throughout this paper. For a more complete treatment, the interested reader should consult either [ML-1971], [H-1970] or [M-1967]. Definition 1.1: A metacategory (which we typically denote as C or D) is a pair C = (OC,MC) where OC is considered to be the collection of objects of C and MC is consi...
متن کاملTopological Functors as Total Categories
A notion of central importance in categorical topology is that of topological functor. A faithful functor E → B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the forgetful functor Top→ Set. A topological functor E → 1 is the same thing as a (large) complete preorder, and the general topological functor E → B is intuitively...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1996
ISSN: 0263-6115
DOI: 10.1017/s1446788700037575